Rigidity for real polynomialsKOZLOVSKI, O; SHEN, W; VAN STRIEN, S et al.Annals of mathematics. 2007, Vol 165, Num 3, pp 749-841, issn 0003-486X, 93 p.Article

An interval lattice-based constraint solving framework for latticesFERNANDEZ, A. J; HILL, P. M.Lecture notes in computer science. 1999, pp 194-208, issn 0302-9743, isbn 3-540-66677-XConference Paper

On solving generalized eigenvalue problems using MatlabFABER, K.Journal of chemometrics. 1997, Vol 11, Num 1, pp 87-91, issn 0886-9383Article

Aitken acceleration and stationary axially symmetric solution of Einstein equationIMAI, T; FUKUYAMA, T.Journal of the Physical Society of Japan. 1995, Vol 64, Num 10, pp 3682-3687, issn 0031-9015Article

Regular resolution versus unrestricted resolutionGOERDT, A.SIAM journal on computing (Print). 1993, Vol 22, Num 4, pp 661-683, issn 0097-5397Article

On finding solutions for extended Horn formulasSCHLIPF, J. S; ANNEXSTEIN, F. S; FRANCO, J. V et al.Information processing letters. 1995, Vol 54, Num 3, pp 133-137, issn 0020-0190Article

Using conservation science to solve conservation problemsGIBBONS, David W; WILSON, Jeremy D; GREEN, Rhys E et al.Journal of applied ecology (Print). 2011, Vol 48, Num 3, pp 505-508, issn 0021-8901, 4 p.Article

On the automatizability of Resolution and related propositional proof systemsATSERIAS, Albert; BONET, Maria Luisa.Lecture notes in computer science. 2002, pp 569-583, issn 0302-9743, isbn 3-540-44240-5, 15 p.Conference Paper

A comparison of micromagneticsolversLOPEZ-DIAZ, L; EICKE, J; DELLA TORRE, E et al.IEEE transactions on magnetics. 1999, Vol 35, Num 3, pp 1207-1210, issn 0018-9464, 1Conference Paper

On the semi-classical approximation of the solution of the Heisenberg equation with spinICHINOSE, W.Annales de l'I.H.P. Physique théorique. 1997, Vol 67, Num 1, pp 59-76, issn 0246-0211Article

On simplifying approaches to the solution of the Boltzmann equation in spatially inhomogeneous plasmasKORTSHAGEN, U; BUSCH, C; TSENDIN, L. D et al.Plasma sources science & technology (Print). 1996, Vol 5, Num 1, pp 1-17, issn 0963-0252Article

HyLoRes 1.0: Direct resolution for hybrid logicsARECES, Carlos; HEGUIABEHERE, Juan.Lecture notes in computer science. 2002, pp 156-160, issn 0302-9743, isbn 3-540-43931-5, 5 p.Conference Paper

System description : CutRes 0.1: Cut elimination by resolutionBAAZ, M; LEITSCH, A; MOSER, G et al.Lecture notes in computer science. 1999, pp 212-216, issn 0302-9743, isbn 3-540-66222-7Conference Paper

Comments on Korepanov's solution in tetrahedron equationHORIBE, M; SHIGEMOTO, K.Journal of the Physical Society of Japan. 1997, Vol 66, Num 2, pp 499-500, issn 0031-9015Article

Solving a congruence on a graded algebra by a subresultant sequence and its applicationBA-ZHONG SHEN.Journal of symbolic computation. 1992, Vol 14, Num 5, pp 505-522, issn 0747-7171Article

Knights, spies, games and ballot sequencesWILDON, Mark.Discrete mathematics. 2010, Vol 310, Num 21, pp 2974-2983, issn 0012-365X, 10 p.Article

Selecting effective ozone exposure control policies solving a two-objective problemCARNEVALE, Claudio; PISONI, Enrico; VOLTA, Marialuisa et al.Ecological modelling. 2007, Vol 204, Num 1-2, pp 93-103, issn 0304-3800, 11 p.Article

Analyse multirésolution pour les images avec un facteur de résolution √2FEAUVEAU, J. C.TS. Traitement du signal. 1990, Vol 7, Num 2, pp 117-128, issn 0765-0019Article

A linear translation from CTL^* to the first-order modal μ-calculusCRANEN, Sjoerd; FRISO GROOTE, Jan; RENIERS, Michel et al.Theoretical computer science. 2011, Vol 412, Num 28, pp 3129-3139, issn 0304-3975, 11 p.Article

Deadline-based scheduling of periodic task systems on multiprocessorsSRINIVASAN, Anand; BARUAH, Sanjoy.Information processing letters. 2002, Vol 84, Num 2, pp 93-98, issn 0020-0190Article

Lower bounds for the weak pigeonhole principle and random formulas beyond resolutionATSERIAS, Albert; BONET, Maria Luisa; ESTEBAN, Juan Luis et al.Information and computation (Print). 2002, Vol 176, Num 2, pp 136-152, issn 0890-5401Article

Intrinsic near quadratic complexity bounds for real multivariate root countingROJAS, J. M.Lecture notes in computer science. 1998, pp 127-138, issn 0302-9743, isbn 3-540-64848-8Conference Paper

Solution and integrability of a generalized derivative nonlinear Schrödinger equationKONDO, K; KAJIWARA, K; MATSUI, K et al.Journal of the Physical Society of Japan. 1997, Vol 66, Num 1, pp 60-66, issn 0031-9015Article

Développement de schémas numériques en électromagnétisme. Application au calcul de la S.E.R = Developpement of numerical schemes in Electromagnetism. Application to the calculation of RCSRannou Lamy, Corinne; Le Roux, A.-Y.1995, 174 p.Thesis

An approximate solution of the Fokker-Planck equation for reactions in condensed phasesBEN-NUM, M; LEVINE, R. D.Chemical physics letters. 1992, Vol 192, Num 5-6, pp 472-478, issn 0009-2614Article